Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation

Image interpretation is a dynamic research domain involving not only the detection of objects in a scene but also the semantic description considering context information in the whole scene. Image interpretation problem can be formalized as an abductive reasoning problem, i.e. an inference to the best explanation using a background knowledge. In this work, we present a framework using a tableau method for generating and selecting potential explanations of the given image when the background knowledge is encoded using a description that is able to handle